* etc/PROBLEMS: Remove old information no longer of relevance.
authorGlenn Morris <rgm@gnu.org>
Thu, 27 May 2010 05:51:43 +0000 (22:51 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 27 May 2010 05:51:43 +0000 (22:51 -0700)
commit6c4706fcc8f75a5962a225d802b65a1bc74779b2
treed63354d49cf3b55fb01aa56c7e0c67adb84905b1
parent986a8b98ffa9b5a4fcd7250fab1deb67b0393b0d
* etc/PROBLEMS: Remove old information no longer of relevance.
etc/ChangeLog
etc/PROBLEMS